Dedekind cut
[计] 戴德金割
🧩 词语组成解析
cut
[kʌt]
vt.& vi. 将（某物）切开（或分割）;
vt. 削减;剪切;切成;删剪;
vi. 电影;（为决定谁先出牌等）切牌;可被切割;可用于切割;
n. 切口;削减;剪裁;切片;
🗣️ 情景例句
How about next Saturday?
下周六如何？
Jack is up and about now.
杰克病后复原了。
Firemen had been fighting the forest for nearly three weeks before they could get it under control.
消防队员们同那场森林大火搏斗了将近3个星期才最后把火势控制住。